representable functor

可表示的函子